<html>
<head><meta charset="utf-8"><title>const_generic trait bound deduction · t-compiler/help · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/index.html">t-compiler/help</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/const_generic.20trait.20bound.20deduction.html">const_generic trait bound deduction</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="226304679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/const_generic%20trait%20bound%20deduction/near/226304679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexandros Liarokapis <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/const_generic.20trait.20bound.20deduction.html#226304679">(Feb 14 2021 at 13:39)</a>:</h4>
<p>Hi all, I also posted a question on <a href="https://users.rust-lang.org/t/failure-to-deduce-bound-when-using-const-generics-and-generic-associated-types/55592">https://users.rust-lang.org/t/failure-to-deduce-bound-when-using-const-generics-and-generic-associated-types/55592</a> but figured I would probably get a faster and more correct answer here. Basically I am trying to figure out if I should expect the snippet to compile once the const_generics feature is completed. I would expect that the trait bound would be auto-deduced since it can be fully evaluated but from the paragraph on the RFC I think it's meant to work this way. Also using parameter deduction for the single statement on the final create function leads to ICE. Hope I am not breaking any rules by posting this here!</p>



<a name="226306433"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/const_generic%20trait%20bound%20deduction/near/226306433" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/const_generic.20trait.20bound.20deduction.html#226306433">(Feb 14 2021 at 14:19)</a>:</h4>
<p>FWIW, this stream (<a class="stream" data-stream-id="182449" href="/#narrow/stream/182449-t-compiler.2Fhelp">#t-compiler/help</a>) is meant to ask for help when hacking on the compiler. You may have more answers in <a class="stream" data-stream-id="122651" href="/#narrow/stream/122651-general">#general</a> instead.</p>



<a name="226306618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/182449-t-compiler/help/topic/const_generic%20trait%20bound%20deduction/near/226306618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexandros Liarokapis <a href="https://rust-lang.github.io/zulip_archive/stream/182449-t-compiler/help/topic/const_generic.20trait.20bound.20deduction.html#226306618">(Feb 14 2021 at 14:23)</a>:</h4>
<p>thanks, sorry for being off topic</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>